RandomVariable($p$;$n$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$(\{0..$n$$^{-}$\}$\rightarrow$\{0..$\parallel$$p$$\parallel^{-}$\})$\rightarrow\mathbb{Q}$